Analysis and Inference of Resource Usage Information
نویسندگان
چکیده
OF DISSERTATION Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Computer Science The University of New Mexico Albuquerque, New Mexico
منابع مشابه
Exploring PDA Usage by Iranian Residents and Interns: A Qualitative Study
Background and Objectives: Clinicians in many countries increasingly use Personal Digital Assistant (PDA) as an assisting tool in clinical practice. The pattern of PDA usage by clinicians in Iran has not been characterized. This study explored the attitudes of Iranian residents and interns toward medical uses of PDA. Methods: An interview-based qualitative study was carried out in 2011. A p...
متن کاملResource Usage Analysis for the π-Calculus
We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inva...
متن کاملSales Budget Forecasting and Revision by Adaptive Network Fuzzy Base Inference System and Optimization Methods
The sales proceeds are the most important factors for keeping alive profitable companies. So sales and budget sales are considered as important parameters influencing all other decision variables in an organization. Therefore, poor forecasting can lead to great loses in organization caused by inaccurate and non-comprehensive production and human resource planning. In this research a coherent so...
متن کاملUsage Analysis for the Π - Calculus
We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inv...
متن کاملAmortised resource analysis for object-oriented programs
As software systems rise in size and complexity, the need for verifying some of their properties increases. One important property to be verified is the resource usage, i.e. how many resources the program will need for its execution, where resources include execution time, memory, power, etc. Resource usage analysis is important in many areas, in particular embedded systems and cloud computing....
متن کامل